main: Fix unsetting of custom stylesheets

Since moving to a GFile based API in commit 642bf2b7782819,
setThemeStylesheet() no longer accepts %null to revert to
the default theme. We should have some way to revert to the
default and the least intrusive option is to return to the
old behavior, so do that.

diff --git a/js/ui/main.js b/js/ui/main.js
index 9467d564b65e58ee56642db1e1b65ef590dd6f4b..36d7591695d6e792b1e588dcf840c7bffe2d0c43 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -271,7 +271,7 @@ function getThemeStylesheet() {
  * Set the theme CSS file that the shell will load
  */
 function setThemeStylesheet(cssStylesheet) {
-    _cssStylesheet = Gio.File.new_for_path(cssStylesheet);
+    _cssStylesheet = cssStylesheet ? Gio.File.new_for_path(cssStylesheet) : null;
 }
 
 /**